TENSE OPERATORS ON SHn-ALGEBRAS

Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras

We introduce the tense LMn-algebras and the tense MV algebras as algebraic structures for some tense many-valued logics. A representation theorem for tense LMn-algebras is proved and the polynomially equivalence between tense LM3-algebras (resp. tense LM4-algebras) and tense MV3-algebras (resp. tense MV4-algebras) is established. We study the pairs of dually-conjugated operations on MV -algebra...

Tense Operators on m–Symmetric Algebras

Here we initiate an investigation of the equational classes of m– symmetric algebras endowed with two tense operators. These varieties is a generalization of tense algebras. Our main interest is the duality theory for these classes of algebras. In order to do this, we require Urquart’s duality for Ockham algebras and Goldblatt’s duality for bounded distributive lattice with operations. The dual...

Tense like equality algebras

In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...

n×m−valued Lukasiewicz-Moisil algebras with two modal operators

In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generaliz...

Priestley Duality for SHn-Algebras and Applications to the Study of Kripke-Style Models for SHn-Logics